state reduction in digital electronics